Section: Partnerships and Cooperations

European Initiatives

• Type: COOPERATION

• Defi: Mixed-Criticality Systems

• Instrument: Integrated Project

• Objectif: Development of probabilistic approaches for mixed-criticality systems on multi-core and many-core platforms

• Duration: October 2013 - September 2016

• Coordinator: Barcelona Supercomputing Center (Spain)

• Inria contact: Liliana Cucu-Grosjean PROXIMA started on October 1st, 2013 with a kick-off meeting in November 2013.

  The project claims that probabilistic analysis techniques can provide efficient (tractable) and effective (tight) analysis of the temporal behaviour of complex mixed-criticality applications, while running on novel multicore and manycore platforms. Solid research results from the former FP7 STREP PROARTIS project sustain this claim. The concept is based on using probabilistic analysis techniques to derive safe and tight bounds on the temporal behaviour of applications,. Such bounds should reflect requirements on failure rates commensurate with their criticality.

  PROXIMA defines architectural paradigms that break causal dependence in the timing behaviour of execution components at hardware and software level that can give rise to pathological cases. The risk is then reduced to quantifiably small levels. The changes needed in the hardware and software components beneath the application (processing cores, interconnects, memory hierarchies and controllers, real-time operating system, middleware, compilers) remain modest.

ARTEMIS PRESTO

Participants : Frédéric Mallet, Arda Goknil, Julien Deantoni, Marie-Agnès Peraldi Frati, Robert de Simone, Jean-Vivien Millo.

• Type: ARTEMIS

• Project title: PRESTO

• Duration: April 2011 - March 2014

• Coordinator: Miltech (Greece)

• Others partners: TELETEL S.A. (Greece), THALES Communications (France), Rapita Systems Ltd. (United Kingdom), VTT (Finland), Softeam (France), THALES (Italy), MetaCase (Finland), Inria (France), University of L’Aquila (Italy), MILTECH HELLAS S.A (Greece), PragmaDev (France), Prismtech (United Kingdom), Sarokal Solutions (Finland).

• See also: http://www.cesarproject.eu/

• Abstract: The PRESTO project aims at improving test-based embedded systems development and validation, while considering the constraints of industrial development processes. This project is based on the integration of test traces exploitation, along with platform models and design space exploration techniques. Such traces are obtained by execution of test patterns, during the software integration design phase, meant to validate system requirements. The expected result of the project is to establish functional and performance analysis and platform optimisation at early stage of the design development. The approach of PRESTO is to model the software/hardware allocation, by the use of modelling frameworks, such as the UML profile for model-driven development of Real Time and Embedded Systems (MARTE). The analysis tools, among them timing analysis including Worst Case Execution Time (WCET) analysis, scheduling analysis and possibly more abstract system-level timing analysis techniques will receive as inputs on the one hand information from the performance modelling of the HW/SW-platform, and on the other hand behavioural information of the software design from tests results of the integration test execution.